Altering Impulsive Decision Making With an Acceptance-Based Procedure

An AHP-Delphi Multi-Criteria Decision Making Model with Application to Environmental Decision-Making

An interactive procedure for multiple attribute group decision making with incomplete information: Range-based approach

This paper presents an interactive procedure for solving a multiple attribute group decision making (MAGDM) problem with incomplete information. The main properties of the procedure are: (1) Each decision maker is asked to express his/her preference in relation to an additive value model with incomplete preference statements. (2) A rangetyped representation method for utility is used. The range...

A Decision-Making Procedure for Resolution-Based SAT-Solvers

We describe a new decision-making procedure for resolutionbased SAT-solvers called Decision Making with a Reference Point (DMRP). In DMRP, a complete assignment called a reference point is maintained. DMRP is aimed at finding a change of the reference point under which the number of clauses falsified by the modified point is smaller than for the original one. DMRP makes it possible for a DPLL-l...

Two Consensus Protocols Based on an Acceptance Threshold in Group Decision Making

We define two negotiation protocols for Group Decision Making, which main feature is the existence of acceptation thresholds. In order to predict which consensus are expected to arise, we study the equilibria of these protocols in the sense of Game Theory. We also investigate their sensitivity to manipulation by the actors.

An SAT-based Decision Procedure for ALC

The goal of this paper is to describe and thoroughly test a decision procedure, called Ksat, checking satissability in the terminological logic ALC. Ksat is said to be SAT-based as it is deened in terms of a decision procedure for propositional satissability (SAT). The tests are performed comparing Ksat with, among other procedures, Kris, a state-of-the-art tableau-based implementation of a dec...